stubdom: fix missing evtchn.h header
authorKeir Fraser <keir.fraser@citrix.com>
Wed, 9 Jul 2008 12:01:16 +0000 (13:01 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Wed, 9 Jul 2008 12:01:16 +0000 (13:01 +0100)
commitac955d7f113655c533fcdf4c148f84f79615684e
tree803b77e600d8e210d82379db660d272570cbfdf0
parent811b3960cd73aa5aee2de58c59bae2ae45b7c8ad
stubdom: fix missing evtchn.h header

We actually do not need any since we include MiniOS' headers.

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
tools/libxc/xc_minios.c